Spool-shaped ornaments from mounds
نویسندگان
چکیده
منابع مشابه
Ornaments in practice, higher-order ornaments
6 Syntactic ornaments in the binary language 21 6.1 From ornaments to projection . . . . . . . . . . . . . . . . . . . . . . . . . . 24 6.2 Syntax of the binary language . . . . . . . . . . . . . . . . . . . . . . . . . . 25 6.3 Projection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 6.4 Datatype environment . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملProgramming with ornaments
Dependently typed programming advocates the use of various indexed versions of the same shape of data, but the formal relationship among these structurally similar datatypes usually needs to be established manually and tediously. Ornaments have been proposed as a formal mechanism to manage the relationships between such datatype variants. In this paper, we conduct a case study under an ornament...
متن کاملThe essence of ornaments
Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely-used tool in that trade consists in defining finely-indexed datatypes. Operationally, these types classify the programmer’s data, following the ML tradition. Logically, these types enforce the program invariants in a novel manner....
متن کاملCavitation Inception in Spool Valves
Cavitation has been investigated in directional control valves in order to identify damage mechanisms characteristic of components o f aircraft hydraulic systems. Tests have been conducted in a representative metal spool valve and in a model three times larger. Data taken under noncavitating conditions with both valves showed that the position of the high-velocity annular jet shifts orientation...
متن کاملLarge Scale Print Spool Service
The paper describes a project to enhance the print service for CERN. The printer infrastructure consists of over 1000 printers serving more than 5000 Unix users running on workstations of various brands as well as PCs running Linux. In addition, the infrastructure must serve more than 3000 PCs running Windows/95 and NT 4. We support a large number of printer manufacturers, including HP, QMS, Te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1884
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.ns-3.62.434